A strong hybrid couple

a generalization of strong causality

در این رساله t_n - علیت قوی تعریف می شود. این رده ها در جدول علیت فضا- زمان بین علیت پایدار و علیت قوی قرار دارند. یک قضیه برای رده بندی آنها ثابت می شود و t_n- علیت قوی با رده های علی کارتر مقایسه می شود. همچنین ثابت می شود که علیت فشرده پایدار از t_n - علیت قوی نتیجه می شود. بعلاوه به بررسی رابطه نظریه دامنه ها با نسبیت عام می پردازیم و ثابت می کنیم که نوع خاصی از فضا- زمان های علی پایدار, ب...

On the strong convergence theorems by the hybrid method for a family of mappings in uniformly convex Banach spaces

Some algorithms for nding common xed point of a family of mappings isconstructed. Indeed, let C be a nonempty closed convex subset of a uniformlyconvex Banach space X whose norm is Gateaux dierentiable and let {Tn} bea family of self-mappings on C such that the set of all common fixed pointsof {Tn} is nonempty. We construct a sequence {xn} generated by the hybridmethod and also we give the cond...

Ensemble of hybrid networks with strong regularization

Strong Convergence for Hybrid S-Iteration Scheme

Strong completeness for non-compact hybrid logics

We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be extended with countably many sequents. Thus completeness proofs are provided for infinitary hybrid versions of non-compact logics like ancestral logic and Segerberg’s modal logic with the bounded chain condition. This extends the completeness result for hybrid logics by Blackburn and Tzakova.